(assert (#x0)
